@book{Ben,
author = "Mordechai Ben-Ari",
title = "Mathematical Logic for Computer Science",
publisher = "Springer-Verlag",
year = "2001",
edition = "Second",
address = "London"
}

@book{Ben2,
author = "Mordechai Ben-Ari",
title = "Principles of Concurrent and Distributed Programming",
publisher = "Addison-Wesley Pearson",
year = "2006",
edition = "Second",
address = "Harlow, England"
}

@book{Bratko,
author = "Ivan Bratko",
title = "Prolog Programming for Artificial Intelligence",
publisher = "Addison-Wesley Pearson",
year = "2001",
address = "Harlow, England"
}

@book{Cohen,
author = "Edward Cohen",
title = "Programming in the 1990's: An Introduction to the Calculation of Programs",
publisher = "Springer-Verlag",
year = "1990",
address = "New York"
}

@book{DandS,
author = "Edsger W. Dijkstra and Carel S. Scholten",
title = "Predicate Calculus and Program Semantics",
publisher = "Springer-Verlag",
year = "1990",
address = "New York"
}

@inproceedings{Emer,
author = "E. Allen Emerson",
title = "Temporal and Modal Logic",
booktitle = "Handbook of Theoretical Computer Science",
year = "1990",
pages = "995-1072",
publisher = "Elsevier"
}

@incollection{Feij,
author = "Wim H. H. Feijen",
title = "Exercises in formula manipulation",
booktitle = "Formal Development of Programs",
year = "1990",
editor = "E.W. Dijkstra",
pages = "139-158",
publisher = "Addison-Wesley",
address = "Menlo Park"
}

@book{LADM,
author = "David Gries and Fred B. Schneider",
title = "A Logical Approach to Discrete Math",
publisher = "Springer-Verlag",
address = "New York",
year = "1994"
}

@conference{Gries,
author = "David Gries",
title = "Teaching Logic as a Tool",
booktitle = "Twenty-Sixth SIGCSE Technical Symposium on Computer Science Education",
year = "1995",
month = "March",
note = "vol. 27, no. 1"
}

@article{Gries1995145,
title = "Equational propositional logic ",
journal = "Information Processing Letters ",
volume = "53",
number = "3",
pages = "145 - 152",
year = "1995",
author = "David Gries and Fred B. Schneider",
}

@inproceedings{Gries1995,
 author = "David Gries",
 title = {Monotonicity in Calculational Proofs},
 booktitle = {Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)},
 year = {1999},
 isbn = {3-540-66624-9},
 pages = {79--85},
 numpages = {7},
 url = {http://dl.acm.org/citation.cfm?id=646005.673872},
 acmid = {673872},
 publisher = {Springer-Verlag},
 address = {London, UK},
}

@conference{GandS,
author = "David Gries and Fred B. Schneider",
title = "Formalizations of Substitution of Equals for Equals",
year = "1998",
note = "Technical Report TR98-1686"
}

@book{Kald,
author = "Anne Kaldewaij",
title = "Programming: The Derivation of Algorithms",
publisher = "Prentice-Hall International (UK) Ltd.",
year = "1990"
}

@conference{Knight,
author = "Kevin Knight",
title = "Unification: A Multidisciplinary Survey",
booktitle = "ACM Computing Surveys",
year = "1989",
month = "March",
note = "Vol. 21, No. 1"
}

@book{Kroger,
author = "Fred Kröger and Stephan Merz",
title = "Temporal Logic and State Systems",
publisher = "Springer-Verlag",
year = "2008",
edition = "First",
address = "Berlin"
}

@book{Manna,
author = "Zohar Manna and Amir Pnueli",
title = "The Temporal Logic of Reactive and Concurrent Systems: v. 1, Specification",
publisher = "Springer-Verlag",
year = "1992",
edition = "First",
address = "New York"
}

@book{Rosen,
author = "Kenneth H. Rosen",
title = "Discrete Mathematics and Its Applications",
publisher = "McGraw-Hill",
year = "2007",
edition = "Sixth",
address = "New York"
}

@book{Schn,
author = "Fred B. Schneider",
title = "On Concurrent Programming",
publisher = "Springer-Verlag",
year = "1997",
edition = "First",
address = "New York"
}

@conference{Tour,
author = "George Tourlakis",
title = "On the Soundness and Completeness of Equational Predicate Logics",
booktitle = "J. Logic Computation",
year = "2001",
note = "vol. 11, no. 4"
}

@misc{Tour2,
    author = "George Tourlakis",
    title = "A Basic Formal Equational Predicate Logic",
    year = "1998"
}

@conference{Warf,
author = "J. Stanley Warford",
title = "An Experience Teaching Formal Methods in Discrete Mathematics",
booktitle = "SIGCSE Bulletin",
year = "1995",
month = "September",
note = "vol. 27, no. 3"
}

@book{vegaTheorems,
author = "David Vega and J. Stanley Warford",
title = "Theorems from Vega and Warford's EDS4LTL",
publisher = "Pepperdine University Research Report, Natural Science Division",
year = "2015",
}

@article{Dijkstra:1968:LEG:362929.362947,
 author = {Dijkstra, Edsger W.},
 title = {Letters to the Editor: Go to Statement Considered Harmful},
 journal = {Commun. ACM},
 issue_date = {March 1968},
 volume = {11},
 number = {3},
 month = mar,
 year = {1968},
 issn = {0001-0782},
 pages = {147--148},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/362929.362947},
 doi = {10.1145/362929.362947},
 acmid = {362947},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {alternative clause, branch instruction, conditional clause, go to statement, jump instruction, program intelligibility, program sequencing, repetitive clause},
} 

